- методы верификации
- Programming: verification methods
Универсальный русско-английский словарь. Академик.ру. 2011.
методы верификации
Смотреть что такое "методы верификации" в других словарях:
Методы исследования в психологии — Экспериментальная психология область психологии, упорядочивающая знания об общих для большинства психологических направлений проблемах исследований и способах их решения. Экспериментальную психологию называют научной дисциплиной о методах… … Википедия
МЕТОДЫ СОЦИАЛЬНОГО ПРОГНОЗИРОВАНИЯ — основаны на трех способах получения информации о будущем. Во первых, это экстраполяция в будущее наблюдаемых тенденций, закономерности развития к рых в прошлом и настоящем достаточно хорошо известны (в предположении, что и на определенную… … Российская социологическая энциклопедия
ГОСТ Р ИСО 21247-2007: Статистические методы. Комбинированные системы нуль-приемки и процедуры управления процессом при выборочном контроле продукции — Терминология ГОСТ Р ИСО 21247 2007: Статистические методы. Комбинированные системы нуль приемки и процедуры управления процессом при выборочном контроле продукции оригинал документа: 3.1.23 аудит качества (audit): Систематическая экспертиза… … Словарь-справочник терминов нормативно-технической документации
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
уровень верификации — 3.1.33 уровень верификации (verification level) VL: Уровень важности или полезности характеристики для пользователя. Примечание Усилия по проверке соответствия могут быть распределены на основе их важности для пользователя. Основные… … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р 51317.4.11-2007: Совместимость технических средств электромагнитная. Устойчивость к провалам, кратковременным прерываниям и изменениям напряжения электропитания. Требования и методы испытаний — Терминология ГОСТ Р 51317.4.11 2007: Совместимость технических средств электромагнитная. Устойчивость к провалам, кратковременным прерываниям и изменениям напряжения электропитания. Требования и методы испытаний оригинал документа: 3.7… … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р 51317.4.34-2007: Совместимость технических средств электромагнитная. Устойчивость к провалам, кратковременным прерываниям и изменениям напряжения электропитания технических средств с потребляемым током более 16 А в одной фазе. Требования и методы испытаний — Терминология ГОСТ Р 51317.4.34 2007: Совместимость технических средств электромагнитная. Устойчивость к провалам, кратковременным прерываниям и изменениям напряжения электропитания технических средств с потребляемым током более 16 А в одной фазе … Словарь-справочник терминов нормативно-технической документации
Имитационные (численные) методы решения моделей — [numerical simulation methods] последовательное преобразование предварительно подготовленных численных значений исследуемых величин до получения искомого значения и его верификации. В частности, к ним относятся численные методы оптимизации. Ср.… … Экономико-математический словарь
имитационные (численные) методы решения моделей — Последовательное преобразование предварительно подготовленных численных значений исследуемых величин до получения искомого значения и его верификации. В частности, к ним относятся численные методы оптимизации. Ср. Аналитические методы решения… … Справочник технического переводчика
ГОСТ Р 51317.4.2-2010: Совместимость технических средств электромагнитная. Устойчивость к электростатическим разрядам. Требования и методы испытаний — Терминология ГОСТ Р 51317.4.2 2010: Совместимость технических средств электромагнитная. Устойчивость к электростатическим разрядам. Требования и методы испытаний оригинал документа: 3.2 антистатический материал (antistatic material): Материал для … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р 51317.4.4-2007: Совместимость технических средств электромагнитная. Устойчивость к наносекундным импульсным помехам. Требования и методы испытаний — Терминология ГОСТ Р 51317.4.4 2007: Совместимость технических средств электромагнитная. Устойчивость к наносекундным импульсным помехам. Требования и методы испытаний оригинал документа: 3.16 верификация: Совокупность операций, проводимых при… … Словарь-справочник терминов нормативно-технической документации
